- explicit bound variable
- лог. явная связная переменная
English-Russian scientific dictionary. 2008.
explicit bound variable
Смотреть что такое "explicit bound variable" в других словарях:
Tsirelson's bound — Tsirelson s bound, also known as Tsirelson s inequality, or in another transliteration, Cirel son s inequality, arises in quantum mechanics, in discussion and experimental determination of whether local hidden variables are required for, or even… … Wikipedia
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Singular they — is a popular, non technical expression for uses of the pronoun they (and its inflected forms) when plurality is not required by the context. The Chicago Manual of Style notes: On the one hand, it is unacceptable to a great many reasonable readers … Wikipedia
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
Anonymous function — In computing, an anonymous function is a function (or a subroutine) defined, and possibly called, without being bound to a name. In lambda calculus, all functions are anonymous. The Y combinator can be utilised in these circumstances to provide… … Wikipedia
Fixed point combinator — A fixed point combinator (or fixed point operator) is a higher order function that computes a fixed point of other functions. This operation is relevant in programming language theory because it allows the implementation of recursion in the form… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Gender neutrality in English — is a form of linguistic prescriptivism that aims at using a form of English that minimizes assumptions about the gender or biological sex of people referred to in speech. Contents 1 Rationale 1.1 Job titles 1.2 Words for humans … Wikipedia
Comparison of C Sharp and Java — The correct title of this article is Comparison of C# and Java. The substitution or omission of the # sign is because of technical restrictions. Programming language comparisons General comparison Basic syntax Basic instructions … Wikipedia
C Sharp syntax — The correct title of this article is C# syntax. The substitution or omission of the # sign is because of technical restrictions. Main article: C Sharp (programming language) This article describes the syntax of the C# programming language. The… … Wikipedia
C++0x — is the planned new standard for the C++ programming language. It is intended to replace the existing C++ standard, ISO/IEC 14882, which was published in 1998 and updated in 2003. These predecessors are informally known as C++98 and C++03. The new … Wikipedia
